00100	(DE INTER (U V)
00200	 (COND ((NULL U) NIL)
00300	       ((MEMBER (CAR U) V) (CONS (CAR U)
00400	                            (INTER (CDR U) V)))
00500	       (T  (INTER (CDR U) V))))
00600	(DE SETDIF (U V)
00700	 (COND ((NULL U) NIL)
00800	       ((MEMBER (CAR U) V)
00900	        (SETDIF (CDR U) V))
01000	      (T  (CONS (CAR U) (SETDIF (CDR U) V)))))
01100	(DE UNION (U V)
01200	 (COND ((NULL U) V)
01300	       ((MEMBER (CAR U) V) (UNION (CDR U) V))
01400	       (T  (CONS (CAR U) (UNION (CDR U) V)))))
01500	(DE MER (X LIST)
01600	 (COND ((LESSP X (CAR LIST)) (CONS X LIST))
01700	   (T  (CONS (CAR LIST) (MER X (CDR LIST))))))
01800	(DE SORT (LIST)
01900	 (COND ((NULL (CDR LIST)) LIST)
02000	   (T (MER (CAR LIST) (SORT (CDR LIST))))))
02100	(DE PRINTI (I E)
02200	(COND ((EQUAL I 0) (PRIN1 E) 
02250	(TERPRI))
02275	
02300	       ((TYO 9) (PRINTI (SUB1 I) E))))
02400	(DE SPEC (I L) (COND
02500	 ((NULL L) (TERPRI NIL))
02600	 ((ATOM (CAR L))  (PRINTI I (CAR L))
02700	                      (SPEC I (CDR L))) (T
02800	(SPEC (ADD1 I) (CAR L)) (SPEC I (CDR L)))))
02900	(DE SP (L) (SPEC 0 L))